to shorten the term - German English Dictionary